Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
761	A characterization of definability of second-order generalized quantifiers with applications to non-definability Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-05-22 21:58:50 Finite model theory Model theory Propositional calculus FO First-order logic Interpretation HO Entailment Substitution Logic Mathematical logic Theoretical computer science
762	Backward Induction is PTIME-complete Jakub Szymanik∗ Institute of Logic Language and Computation, University of Amsterdam [removed] Abstract. We prove that the computational problem of finding backward induc Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-07-13 09:14:28 Complexity classes Finite model theory Graph connectivity Game theory FO Reachability P Extensive-form game Tree Theoretical computer science Graph theory Mathematics
763	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
764	Microsoft Word - Human Trafficking is Not a Sport Parish Bulletin (BW) Add to Reading List Source URL: www.boernebenedictines.com Language: English - Date: 2014-01-27 14:51:39 American Football League Super Bowl IIN Human trafficking FO SO National Football League Finite model theory Descriptive complexity
765	Scores expressed as % C o Se eak mf co to ort Wa Add to Reading List Source URL: www.eastgatesurgery.co.uk Language: English - Date: 2014-02-15 13:42:15 English orthography Traditional English pronunciation of Latin FO Finite model theory English phonology
766	Microsoft Word - cakram_info_EN.docx Add to Reading List Source URL: compsoc.bandungfe.net Language: English - Date: 2010-02-26 13:10:52 FO Finite model theory Thou
767	Deterministic Concurrent Strategies Glynn Winskel Computer Laboratory, University of Cambridge, UK Abstract. Nondeterministic concurrent strategies—those strategies compatible with copy-cat behaving as identity w.r.t. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-06-28 13:33:37 Model theory FO Finite model theory Structure Mathematical logic Metalogic Mathematics
768	COMBINED ALGORITHMS FOR FITTING FINITE MIXTURE DISTRIBUTIONS COMBINED ALGORITHMS FOR CONSTRAINED ESTIMATION OF FINITE MIXTURE DISTRIBUTIONS WITH GROUPED Add to Reading List Source URL: icarus.math.mcmaster.ca Language: English - Date: 2006-07-28 11:20:38 Expectation–maximization algorithm Missing data Probability theory Data analysis Mixture distribution Maximum likelihood Variance Parameter Mixture model Statistics Estimation theory Statistical theory
769	[Downloaded from www.aece.ro on Tuesday, February 28, 2012 at 14:09:08 (UTC) by[removed]Redistribution subject to AECE license or copyright. Online distribution is expressly prohibited.] Advances in Electrical an Add to Reading List Source URL: ivanzuzak.info Language: English - Date: 2013-10-13 05:11:48 Automata theory Finite-state machine Graphical user interface testing Graphical user interfaces Model-based testing Software engineering Model checking Graphical user interface GUI widget Software testing Models of computation Mathematics
770	Symbolic Automata for Static Specification Mining Hila Peleg1 , Sharon Shoham2 , Eran Yahav3 , and Hongseok Yang4 1 Tel Aviv University, Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-05-17 17:02:48 Models of computation Theoretical computer science Model theory Combinatorics on words Logic Structure Finite-state machine Deterministic finite automaton Interpretation Automata theory Formal languages Mathematics

UPDATE